More from this Author

Constraint Logic Programming Using Eclipse

by Krzysztof R. Apt, Mark Wallace

Edsger Wybe Dijkstra

by Krzysztof R. Apt, Tony Hoare

Edsger Wybe Dijkstra

by Krzysztof R. Apt, Tony Hoare

Verification of Sequential and Concurrent Programs

by Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Amir Pnueli (Foreword by)

Verification of Sequential and Concurrent Programs

by Krzysztof R. Apt, Frank S. De Boer, Ernst-R Diger Olderog